logic programming

The glossary is being gradually proof checked, but currently has many typos and misspellings.

Logic programming uses formal logic as a form of code. The most well known logic programming is Prolog, which uses first order logic expressed as Horn clauses.